| emsoft | participants

Miriam García Soto

Program Committees:
2025
.

EMSOFT 2016: 16th International Conference on Embedded Software

An Algorithmic Approach to Global Asymptotic Stability Verification of Hybrid Systems

Pavithra Prabhakar and Miriam García Soto